Programmation par ensembles réponses pour simuler l'assolement d'un paysage

نویسندگان

  • Thomas Guyet
  • Yves Moinard
  • Rene Quiniou
چکیده

The development of tools for the simulation of virtual landscapes is an important issue for the study of the relationships between landscape, biophysical processes and their actors. We are interested in simulating realistic colocalizations of cultures. We formalize the simulation process as a generic problem of decomposition of a graph by subgraphs (“structures”). This problem is highly combinatorial and we propose to solve it using answer set programming (ASP). The article compares several versions of

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Optimisation par colonies de fourmis pour la programmation logique étendue

RÉSUMÉ. La Programmation Logique Étendue (Answer Set Programming) est un formalisme particulièrement adapté pour représenter différents problèmes issus de l’Intelligence Artificielle (raisonnement non monotone, planification, diagnostic...). De plus, elle peut être utilisée pour coder de manière concise des problèmes combinatoires. Dans tous les cas, les solutions sont obtenues sous la forme d’...

متن کامل

La logique modale des modèles d'équilibre

RÉSUMÉ. Les modèles ici-et-là-bas et les modèles d’équilibre ont été étudiés comme cadre sémantique pour la programmation par ensembles réponses par Pearce, Cabalar, Lifschitz, Ferraris et d’autres. La sémantique de la logique de l’équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. Nous donnons ici une séma...

متن کامل

Explications conviviales pour la programmation par contraintes

RÉSUMÉ. Dans cet article, nous présentons un ensemble d’outils pour fournir des explications conviviales dans un système de programmation par contraintes avec explications. L’idée est de représenter les contraintes d’un problème sous forme hiérarchique (un arbre). Les utilisateurs sont alors représentés comme un ensemble de noeuds compréhensibles dans cet arbre (une coupe). Les explications cla...

متن کامل

D'une compacité positionnelle à une compacité probabiliste pour un système de Questions / Réponses

RÉSUMÉ. Dans cet article, nous présentons une discussion sur la définition d'un score de compacité pour permettre l'extraction d'une réponse dans un système de Questions/Réponses. Ce score de compacité qui peut être succinctement décrit comme une fonction liée a la densité des termes de la question dans le voisinage d'une réponse candidate, est présenté en détail. Ensuite, une discussion nous a...

متن کامل

Conception Par Objets D'un Syst Eme Pour Combiner Raisonnement Formel Et Satisfaction De Contraintes

La programmation par satisfaction de contraintes (CSP) est un outil puissant qui permet de r esoudre de nombreux probl emes combinatoires. Cependant, il existe des situations dans lesquelles un raisonnement formel sur les contraintes trouve le r esultat plus vite et plus facilement que les techniques classiques de CSP. Dans cette optique, nous reconstruisons le syst eme Alice, qui proposait de ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Revue d'Intelligence Artificielle

دوره 29  شماره 

صفحات  -

تاریخ انتشار 2015